Improving the Compositionality of Separation Algebras

Exploiting Structure in Solution: Decomposing Compositional Models

Since their introduction in the early 1990s, compositionality has been reported as one of the major attractions of stochastic process algebras. The benefits that compositionality provides for model construction are readily apparent and have been demonstrated in numerous case studies. Early research on the compositionality of the languages focused on how the inherent structure could be used, in ...

Exploiting Structure in Solution: Decomposing Composed Models

Since their introduction nearly ten years ago, compositionality has been reported as one of the major attractions of stochastic process algebras. The beneets that compositionality provides for model construction are readily apparent and have been demonstrated in numerous case studies. Early research on the compositionality of the languages focussed on how the inherent structure could be used, i...

Sufficient Conditions for Density in Extended Lipschitz Algebras

Stochastic process algebras: integrating qualitative and quantitative modelling

Stochastic process algebras (SPA) have emerged from work over the last five years investigating the use of process algebras for performance modelling. Like other stochastic extensions of existing system description techniques, they offer exciting possibilities for integrating qualitative and quantitative analysis. The use of such languages facilitates the early consideration of the temporal pro...

Stochastic Process Algebras: Past, Present and Future

In the last decade a new formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems has emerged with Stochastic Process Algebras (SPA for short). Like classical process algebras, they are algebraic languages endowed with a small set of powerful operators whereby it is possible to construct algebriac models from simpler ones. The main advantages ...